Language/OS - Multiplatform Resource Library

home *** CD-ROM | disk | FTP | other *** search

/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Tests / mu.w < prev next >

Wrap

Text File | 1989-04-14 | 9.2 KB | 545 lines

procedure main/0 _767: put_constant muui,X1 execute_proc theorem/1 procedure theorem/1 _1582: init Y1 put_variable_y Y2,X2 call explode/2,2 put_value_y Y2,X1 put_variable_x X2,X2 escape length/2 put_variable_x X5,X1 put_constant -,X3 put_constant &1,X4 escape is/4 put_list X6 unify_constant_write m get_cdr_list_write unify_constant_write i unify_nil_write put_value_x X6,X1 put_unsafe_value Y2,X2 put_constant &1,X3 put_value_x X5,X4 put_value_y Y1,X5 put_constant &0,X6 call derive/6,1 escape nl/0 put_list X1 unify_variable_write_x X2 unify_variable_write_x X8 get_value_y Y1,X8 get_structure rule/2,X2,2 unify_constant &0 unify_variable_x X2 get_list X2 unify_constant m get_cdr_list unify_constant i unify_nil put_constant &0,X2 execute_proc print_results/2 procedure derive/6 _2987: try_me_else _2992,6 _2996: get_variable_x X7,X1 get_variable_y Y5,X2 get_variable_y Y4,X3 get_variable_y Y3,X4 get_variable_y Y2,X5 get_variable_y Y1,X6 put_variable_x X5,X1 put_value_y Y1,X2 put_constant +,X3 put_constant &1,X4 escape is/4 put_constant 'depth ',X1 escape write/1 put_value_x X5,X1 escape write/1 escape nl/0 put_value_x X7,X1 put_value_y Y5,X2 put_value_y Y4,X3 put_value_y Y3,X4 put_constant &1,X5 put_value_y Y2,X6 put_value_y Y1,X7 execute_proc derive2/7 _2992: trust_me_else fail _3215: get_variable_x X7,X1 get_variable_y Y4,X2 get_variable_y Y3,X3 get_variable_y Y2,X4 put_variable_y Y1,X1 put_value_x X6,X2 put_constant +,X3 put_constant &1,X4 escape is/4 put_value_x X7,X1 put_value_y Y4,X2 put_value_y Y3,X3 put_value_y Y2,X4 put_unsafe_value Y1,X6 execute_proc derive/6 procedure derive2/7 _5125: try_me_else _5130,7 _5134: get_value_x X1,X2 get_value_x X3,X4 get_nil X6 proceed _5130: trust_me_else fail _5175: init Y5 init Y3 init Y1 get_variable_y Y11,X1 get_variable_y Y6,X2 get_variable_y Y10,X3 get_variable_y Y4,X4 get_variable_y Y9,X5 get_variable_y Y12,X7 get_list X6 unify_variable_x X4 unify_variable_y Y2 get_structure rule/2,X4,2 unify_variable_y Y8 unify_variable_y Y7 put_value_y Y10,X1 put_value_y Y4,X2 put_variable_y Y13,X3 call lower_bound/3,13 put_value_y Y12,X1 put_unsafe_value Y13,X2 escape >=/2 put_value_y Y1,X1 put_value_y Y12,X2 put_constant -,X3 put_constant &1,X4 escape is/4 put_value_y Y11,X1 put_value_y Y7,X2 put_value_y Y10,X3 put_value_y Y5,X4 put_value_y Y9,X5 put_value_y Y3,X6 put_value_y Y8,X7 call rule/7,7 put_value_y Y7,X1 put_value_y Y6,X2 put_unsafe_value Y5,X3 put_value_y Y4,X4 put_unsafe_value Y3,X5 put_value_y Y2,X6 put_unsafe_value Y1,X7 execute_proc derive2/7 procedure rule/7 _6634: get_list X1 unify_constant m unify_variable_x X1 get_list X2 unify_constant m unify_variable_x X2 put_variable_y Y1,X8 get_structure dummy/4,X8,4 unify_constant &1 unify_constant i unify_value_x X7 unify_variable_y Y2 put_value_y Y2,X8 get_structure -/2,X8,2 unify_variable_y Y2 unify_value_y Y2 put_unsafe_value Y1,X7 execute_proc rule/10 procedure rule/10 switch_on_term _9462,_9463,fail _9468: try_me_else _9473,7 _9477: get_variable_y Y1,X3 get_variable_y Y2,X4 get_list X1 unify_constant i unify_nil get_list X2 unify_constant i get_cdr_list unify_constant u unify_nil get_structure dummy/4,X7,4 unify_variable_x X3 unify_void unify_constant &1 unify_void put_value_x X3,X1 put_value_x X5,X2 escape >=/2 put_value_x X6,X1 put_value_x X3,X2 put_constant -,X3 put_constant &2,X4 escape is/4 put_value_y Y2,X1 put_value_y Y1,X2 put_constant +,X3 put_constant &1,X4 escape is/4 proceed _9473: retry_me_else _9694 _9462: get_variable_y Y1,X3 get_constant &1,X6 get_nil X1 get_structure dummy/4,X7,4 unify_void unify_void unify_constant &2 unify_variable_x X5 get_structure -/2,X5,2 unify_value_x X2 unify_variable_x X5 get_nil X5 put_value_x X4,X1 put_value_y Y1,X2 put_constant +,X3 put_value_y Y1,X4 escape is/4 proceed _9694: retry_me_else _9846 _9850: get_variable_y Y1,X3 get_variable_y Y2,X4 get_list X1 unify_constant i get_cdr_list unify_constant i get_cdr_list unify_constant i unify_variable_x X3 get_list X2 unify_constant u unify_variable_x X8 get_value_x X3,X8 get_structure dummy/4,X7,4 unify_variable_x X3 unify_void unify_constant &3 unify_void put_value_x X3,X1 put_value_x X5,X2 escape >=/2 put_value_x X6,X1 put_value_x X3,X2 put_constant -,X3 put_constant &1,X4 escape is/4 put_value_y Y2,X1 put_value_y Y1,X2 put_constant -,X3 put_constant &2,X4 escape is/4 proceed _9846: retry_me_else _10095 _10099: get_variable_y Y1,X3 get_variable_y Y2,X4 get_list X1 unify_constant u get_cdr_list unify_constant u unify_variable_x X8 get_value_x X2,X8 get_structure dummy/4,X7,4 unify_variable_x X3 unify_constant i unify_constant &4 unify_void put_value_x X3,X1 put_value_x X5,X2 escape >=/2 put_value_x X6,X1 put_value_x X3,X2 put_constant -,X3 put_constant &2,X4 escape is/4 put_value_y Y2,X1 put_value_y Y1,X2 put_constant -,X3 put_constant &2,X4 escape is/4 proceed _10095: trust_me_else fail _10318: get_variable_y Y3,X3 get_variable_y Y2,X4 get_list X1 unify_variable_y Y8 unify_variable_y Y5 get_list X2 unify_value_y Y8 unify_variable_y Y4 get_structure dummy/4,X7,4 unify_variable_x X2 unify_void unify_variable_x X7 unify_variable_y Y7 put_value_y Y7,X8 get_structure -/2,X8,2 unify_variable_y Y7 unify_variable_y Y6 put_value_y Y6,X8 get_list X8 unify_value_y Y8 unify_variable_y Y6 put_variable_x X1,X1 put_constant +,X3 put_constant &1,X4 escape is/4 put_variable_y Y1,X8 get_structure dummy/4,X8,4 unify_value_x X1 unify_value_y Y8 unify_value_x X7 unify_variable_x X1 get_structure -/2,X1,2 unify_value_y Y7 unify_value_y Y6 put_value_y Y5,X1 put_value_y Y4,X2 put_value_y Y3,X3 put_value_y Y2,X4 put_unsafe_value Y1,X7 execute_proc rule/10 _9463: try _9477,7 retry _9850 retry _10099 trust _10318 procedure print_results/2 switch_on_term _12483,_12484,fail _12489: try_me_else _12494,2 _12483: get_nil X1 proceed _12494: trust_me_else fail _12484: get_list X1 unify_variable_x X5 unify_variable_y Y2 get_structure rule/2,X5,2 unify_variable_y Y4 unify_variable_x X5 put_variable_y Y1,X1 put_constant +,X3 put_constant &1,X4 escape is/4 put_variable_y Y3,X1 put_value_x X5,X2 call implode/2,4 put_value_y Y1,X1 escape write/1 put_constant ' ',X1 escape write/1 put_value_y Y4,X1 call print_rule/1,3 put_unsafe_value Y3,X1 escape write/1 escape nl/0 put_value_y Y2,X1 put_unsafe_value Y1,X2 execute_proc print_results/2 procedure print_rule/1 switch_on_term _13583,_13584,_13584 _13583: try_me_else _13594,1 _13598: get_constant &0,X1 put_constant 'axiom ',X1 escape write/1 proceed _13594: trust_me_else fail _13584: get_variable_x X3,X1 put_value_x X3,X1 put_constant &0,X2 escape =\=/2 put_constant 'rule ',X1 escape write/1 put_value_x X3,X1 escape write/1 put_constant ' ',X1 escape write/1 proceed procedure explode/2 _14278: get_variable_x X3,X2 put_variable_x X2,X2 escape name/2 put_value_x X3,X1 execute_proc name_list/2 procedure implode/2 _14658: get_variable_y Y2,X1 put_value_x X2,X1 put_variable_y Y1,X2 call name_list/2,2 put_value_y Y2,X1 put_unsafe_value Y1,X2 escape name/2 proceed procedure name_list/2 switch_on_term _15363,_15364,fail _15369: try_me_else _15374,2 _15363: get_nil X1 get_nil X2 proceed _15374: trust_me_else fail _15364: get_list X1 unify_variable_x X1 unify_variable_x X3 get_list X2 unify_variable_x X4 unify_variable_x X5 put_list X2 unify_value_write_x X4 unify_nil_write escape name/2 put_value_x X3,X1 put_value_x X5,X2 execute_proc name_list/2 procedure lower_bound/3 _17043: try_me_else _17048,3 _17052: get_constant &1,X3 escape </2 proceed _17048: retry_me_else _17076 _17080: get_value_x X1,X2 get_constant &2,X3 proceed _17076: trust_me_else fail _17113: get_variable_x X4,X1 get_variable_x X5,X2 get_variable_x X6,X3 put_value_x X4,X1 put_value_x X5,X2 escape >/2 put_variable_x X7,X1 put_value_x X4,X2 put_constant -,X3 put_value_x X5,X4 escape is/4 put_value_x X6,X1 put_value_x X7,X2 execute_proc _dummy_0/2 procedure _dummy_0/2 _17864: try_me_else _17869,2 _17873: get_variable_y Y2,X1 get_variable_y Y1,X2 put_value_y Y1,X1 call even/1,2 cut put_value_y Y2,X1 put_value_y Y1,X2 put_constant //,X3 put_constant &2,X4 escape is/4 proceed _17869: trust_me_else fail _17966: get_variable_x X5,X1 put_variable_x X6,X1 put_constant +,X3 put_constant &1,X4 escape is/4 put_variable_x X7,X1 put_value_x X6,X2 put_constant //,X3 put_constant &2,X4 escape is/4 put_value_x X5,X1 put_value_x X7,X2 put_constant +,X3 put_constant &1,X4 escape is/4 proceed procedure even/1 _18587: get_variable_x X2,X1 put_constant &0,X1 put_constant mod,X3 put_constant &2,X4 escape is/4 proceed